281. Proceedings
پدیدآورنده : Symposium on Logic in Computer Science )4th: 9891: Asilomar Conference Center, Pacific Grove, California(
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Electronic data processing- Mathematics- Congresses,، Logic, Symbolic and mathematical- Congresses
رده :
QA
76
.
9
.
M35
S94
1989
282. Quantitative assessments of distributed systems :
پدیدآورنده : edited by Dario Bruneo and Salvatore Distefano
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer systems-- Evaluation-- Mathematics,Electronic data processing-- Distributed processing-- Mathematical models.,Quantitative research.,System analysis-- Mathematics.
رده :
QA76
.
9
.
E94
283. Reactive Search and Intelligent Optimization
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Mathematics. ; Electronic data processing. ; Artificial intelligence. ; Operations research. ;
284. SIAM journal on computing
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Electronic data processing- Periodicals,Mathematics- Periodicals
رده :
QA
،
76
،.
S555
285. Schaum's outline of theory and problems of esential computer mathematics
پدیدآورنده : / By Seymour Lipschutz
کتابخانه: مكتبات الكلية التقنية 1 بجامعة طهران (طهران)
موضوع : Mathematics-Problems exercises,etc,Electronic data processing- mathematics- problems, exerises, etc
رده :
QA
43
.
L669
286. Schaum's outline of theory and problems of essential computer mathematics
پدیدآورنده : / Seymour Lipschutz,Lipschutz
کتابخانه: كتابخانه مركزي آستان قدس رضوي (ع) - تالار كتابهای خارجی (خراسان رضوی)
موضوع : Electronic data processing -- Mathematics -- Problems, exercises, etc.
رده :
004
.
0151
L767S
287. Schaum s outline of theory and problems of essential computer mathematics
پدیدآورنده : Lipschutz, Seymour
کتابخانه: (طهران)
موضوع : Mathematics - Problems, exercises, etc , Electronic data processing - Mathematics - problems, exercises, etc
رده :
QA
43
.
L669
288. Schaum's outline of theory and problems of essential computer mathematics
پدیدآورنده : / by Seymour Lipschutz
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Mathematics - Problems, exercises, etc,Electronic data processing - Mathematics - Problems, exercises, etc
رده :
519
.
4
L767Se
289. Schaum`s outline of theory and Problems of essential computer Mathematics
پدیدآورنده : / Seymor Lipschutz,D.,Lipschutz
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع : Mathematics -- Problems, exercises, etc,Electronic Data processing -- Mathematics-- Problems, exercices, etc
رده :
QA
43
.
L669
290. Schaums outline of theory and problems of essential computer mathematics
پدیدآورنده : / Seymour Lipschutz
کتابخانه: مكتبات الكلية التقنية 1 بجامعة طهران (طهران)
موضوع : Mathematics - problems, exercises, etc,Electronic data processing--Mathematics-- Problems,exercises, etc
رده :
QA
43
.
L663
1987
291. Scientific computing with automatic result verification
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Electronic data processing,، Computer science-- Mathematics
رده :
QA
76
.
S368
1993
292. Scientific computing with automatic result verification
پدیدآورنده : edited by E. Adams, U. Kulisch
کتابخانه: (طهران)
موضوع : ، Electronic data processing,، Computer science -- Mathematics
رده :
QA
76
.
S36
1993
293. Scientific computing with automatic result verification
پدیدآورنده : / edited by E. Adams, U. Kulisch
کتابخانه: مكتبات الكلية التقنية 1 بجامعة طهران (طهران)
موضوع : Electronic data processing,Computer science - Mathematics
رده :
QA
76
.
S368
1993
294. Shadowing in Dynamical Systems
پدیدآورنده : by Ken Palmer.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Differential Equations.,Electronic data processing.,Mathematics.
295. Simple digital computing examples
پدیدآورنده : Gregory, Malcolm S.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Electronic digital computers-- Programming,، Mathematics-- Data processing
رده :
QA
76
.
5
.
G69
296. Solution of large networks by matrix methods
پدیدآورنده : Brown, Homer E.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Electric networks ، Electronic data processing,، Short circuits,، Matrices,Mathematics ، Electric engineering
رده :
TK
3226
.
B763
297. Stochastic Optimization: Algorithms and Applications
پدیدآورنده : edited by Stanislav Uryasev, Panos M. Pardalos.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Electronic data processing.,Mathematical optimization.,Mathematics.,Operations research.
298. Studies in computer science
پدیدآورنده : POLLACK,SEYMOUR V
کتابخانه: (طهران)
موضوع : ELECTRONIC DATA PROCESSING-ADDRESSES, , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , MATHEMATICS-DATA PROCESSING-
رده :
QA
76
.
24
.
S78
299. System Modeling and Optimization XX :
پدیدآورنده : edited by E.W. Sachs, R. Tichatschke.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Electronic data processing.,Mathematics.,Systems theory.
300. The Language Phenomeno
پدیدآورنده : / edited by P.-M. Binder, K. Smith
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Physics,Electronic data processing,Evolution (Biology),Mathematics,Consciousness,Electronic books
رده :
E-BOOK
